MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS

We obtain, for the first time, a modular many-valued semantics combined logics, which is built directly from logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in context multiple-conclusion whereas, unsurprisingly, it may be lost single-conclusion logics. Besides illustrating our wide range examples, we also develop concrete applications semantic characterizations, namely regarding strengthening given logic with additional axioms, study conditions under seen as combination simpler syntactically defined fragments whose calculi can obtained independently and put together to form calculus whole logic, general decidability preserved mechanism.